Subject: SUO: Clarifications regarding KIF-ified Ontology Content
Date: Fri, 10 Nov 2000 14:50:29 -0800
From: "Ian Niles" <iniles@teknowledge.com>
To: "Standard-Upper-Ontology \(E-mail\)" <standard-upper-ontology@ieee.org>

Hi All,

        It has just come to my attention that the "defrelation" and "deffunction"
terms and constructs that I used in the KIF files I sent out this afternoon
are not (yet) part of SUO KIF.  I guess I was assuming that they would be
included at some point in the future.  These definitions can of course be
recast in official SUO KIF by removing the "defrelation" and "deffunction"
wrappers.  It has also been pointed out to me that the KIF version of the
Core Plan Representation would be easier to understand if comments regarding
the key constants of this theory were inserted into the file.  Accordingly,
I have now inserted these comments, and the revised file is attached.  I
hope this helps.

-Ian

    ---------------------------------------------------------------------
              Name: CPR.kif
   CPR.kif    Type: unspecified type (application/octet-stream)
          Encoding: quoted-printable